…e unreproducible numbers rectified (#950)

The release dossier is the publication GATE (#134), so its byte-exact figures have
to be reproducible by whoever verifies the tag. §3.4 had three that were not.

Measured on master `accfeeab` (`git cat-file -s` on the committed blob):

1. Size. §3.4 printed 5,314,381 B. That matches NO committed blob: `c2a9b761`
   (its own reference) and `d206e59c` are both 5,378,765 B, master is 6,030,505 B.
   The gap to `c2a9b761` is exactly 64,384 B -- the "-64 KB" claimed in the same
   sentence, i.e. the delta looks subtracted twice. Corrected to 6,030,505 B, with
   the commit and the representation named (blob == worktree here; the blob already
   carries CRLF, so `core.autocrlf` creates no discrepancy).

2. Provenance. §3.4 credited the "régén fraîche" #634 / `c2a9b761`. That commit
   left NO change in `docs/ontology/`: `argumentum.owl` has the identical blob
   `3c76b691…` at `d206e59c` (March) and at `c2a9b761` (July), and
   `argumentum_virtues.owl` is absent from `c2a9b761` entirely although the section
   claims it was committed there. Both files come from #787 / `6fdf5726`
   (2026-07-12): +651,740 B, +9,733 lines, +1,977 crossLinks, +290 AIF assertions.
   Two readings remain possible from git alone (regen reproduced byte-identically,
   or its output was not committed) and the doc now says so rather than picking one
   -- the missing Virtues file leans toward the second. Either way the freshness the
   tag gate requires is satisfied by #787: the citation was wrong, not the conclusion.

3. Unit. "1 408 broader" is a raw grep count (identical at every commit, so
   reproducible as printed) but it counts 1,407 hierarchy edges plus the property
   declaration. 1,407 edges / 1,408 concepts -- the root has no parent. Same class
   of confusion just fixed in #948 for crossLinks (1,081 CSV cells / 1,977
   assertions / 1,985 with declarations).

Confirmed exact and left alone: 1,408 fallacies, 2,816 prefLabel, 5,558 EN
literals, 862,709 B for the Virtues OWL. Flagged as mixed-provenance: the 4,861 FR
count is post-#787 (it was 4,867 at the commit the section named).

Also added: a property inventory that reconciles three documents which had been
counting separately -- crossLink 1,977 (#763/#948), AIF attack 145 (#498 P1 closure),
skos Walton mappings 70. It also corrects a near-miss of my own: `grep attackType`
returns 0 because the properties are `aifAttackType`/`aifAttackedNode`, so the AIF
layer IS serialized; the inventory is the only reliable measurement.

And in §3.1bis: the "OWL can be regenerated post-tag" line is now done (#787), and
the 46/1408 figure is marked as #753's deliverable rather than the current 145/1408.

No verdict, status, arbitration or editorial content touched -- figures only, in the
document's own dated-refresh style (v4, v4.1, v5, v5.1 → v5.2).

Method rule recorded in the section: a byte-exact figure must name its commit AND
its representation, a count must name its pattern. Otherwise the same object reads
1,407 or 1,408, and 1,081 or 1,977 or 1,985.

Refs #134, #133, #763, #948

Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>